metalinguistic formula

См. также в других словарях:

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• Metalanguage — For the programming language, see ML (programming language). Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.[1] In logic and linguistics, a metalanguage is a language used to make… …   Wikipedia

• Karl Popper — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Sir Karl Raimund Popper CH FRS FBA birth = 28 July 1902 Vienna, Austria death = death date and age|df=yes|1994|9|17|1902|7|28 London, England… …   Wikipedia

• Reduplication — in linguistics is a morphological process in which the root or stem of a word (or part of it) is repeated exactly or with a slight change. Reduplication is used in inflections to convey a grammatical function, such as plurality, intensification,… …   Wikipedia

• Metapolitics — By ‘metapolitics’ I mean whatever consequences a philosophy is capable of drawing, both in and for itself, from real instances of politics as thought. Metapolitics is opposed to political philosophy, which claims that since no such politics… …   Wikipedia

• Axiom schema — In mathematical logic, an axiom schema generalizes the notion of axiom.An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs,… …   Wikipedia

• Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… …   Wikipedia

• positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… …   Universalium

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium